Inhalt des Dokuments

Forschung

Dagstuhl Seminar – Eingeladener Vortrag

Dienstag, 02. April 2013

Eingeladener Vortrag von Uwe Nestmann mit dem Titel "Verifying Consensus ... using Process Calculi, State Machines, and Proof Checkers" beim Dagstuhl Seminar Formal Verification of Distributed Algorithms.

---